IOzSeF Integrated Oz Search Factory
نویسنده
چکیده
In this report, IOzSeF, a search factory for Mozart/Oz, is presented. Search plays an important role in constraint programming. In Mozart/Oz, search is done by library procedures or the Explorer, a graphical search tool. All these have some shortcomings, mainly that features like recomputation, best solution search and visualisation cannot be combined with freely. IOzSeF aims at combining the advantages of the currently available tools into one library, enabling the user to build custom-made search engines.
منابع مشابه
Logic Programming in
This short tutorial explains how to do Prolog-style logic programming in Oz. We give programming examples that can be run interactively on the Mozart system, which implements Oz. The Oz language is the result of a decade of research into programming based on logic. The Oz computation model subsumes both search-based logic programming and committed-choice (concurrent) logic programming with deep...
متن کاملSolver — An Oz Search Debugger
This paper shows the Oz Solver, a tool designed to support the development of constraint programs. The Solver allows the user to interactively solve a constraint problem. As the problem’s search tree is explored the Solver incrementally draws its graphical presentation. The user has access to the computation state at any node in the tree. Although search is controlled interactively by the user,...
متن کاملWoz ' 95 : International Workshop on Oz Programming
| This paper shows the Oz Solver, a tool designed to support the development of constraint programs. The Solver allows the user to interactively solve a constraint problem. As the problem's search tree is explored the Solver incrementally draws its graphical presentation. The user has access to the computation state at any node in the tree. Although search is controlled interactively by the use...
متن کاملWOZ ' 95 : INTERNATIONAL WORKSHOP ON OZ PROGRAMMING Fig
| In this paper I describe program development in Oz \by example" { the Oz Browser MMPS94]. The Oz Browser is a concurrent tool for displaying information about the values of variables. The Browser is a part of the Oz programming environment and is written in Oz itself. The Browser is a big and complex program (more than 15,000 lines of code). It exploits concurrency, object-oriented facilities...
متن کاملProgramming Constraint Inference Engines
Existing constraint programming systems offer a fixed set of inference engines implementing search strategies such as single, all, and best solution search. This is unfortunate, since new engines cannot be integrated by the user. The paper presents first-class computation spaces as abstractions with which the user can program inference engines at a high level. Using computation spaces, the pape...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002